Module isotope::ctx::eval[][src]

Expand description

Evaluation contexts

Structs

NormalCfg

A reduction configuration to keep going until reaching a given form for up to n compound reductions.

Reduce

Add reduction to an evaluation context

ReduceUntil

A reduction configuration to keep going until a given condition has been reached, delegating otherwise to another configuration

Traits

ReductionConfig

A reduction configuration

TerminationCondition

A termination condition